例文It consists of a mixed integer optimization problem formulation library ( solph ), an input data generation library ( feedin-data ), and other auxiliary libraries.